should always be redirected to Debian. 🔼

Not sure on that one, I think it has to.

reported=2019-06-25 03:40:35

reporter=onefang

priority=low

category=TODO

severity=minor

resolution=fixed

2019-06-26 22:00:10 onefang: Yes it's mandatory.

2019-12-30 10:43:26 onefang: The main problem here is what if they ARE a Debian mirror, serving under the same path, how do we tell?